package option;

import java.util.HashMap;
import java.util.Map;

public final class CAREConfig {

	private final static Map<String, String> config;
	
	static{
		config = new HashMap<String, String>(); 
		config.put("verbose", "false");
		config.put("debug", "false");
		//guarded reasoning
		config.put("reasoning.guarding.partial", "true");
		config.put("reasoning.guarding.full", "true");
		config.put("reasoning.guarding.universal.precomputed", "true");
		config.put("reasoning.guarding.exist.precomputed", "false");
		
		//optimizations 
		config.put("backjumping", "true");
		config.put("backjumping.max", "false");
		
		//absorptions
		config.put("absorption.unary", "true");
		config.put("absorption.unary.neg", "false");
		config.put("absorption.unary.enhanced", "false");
		config.put("absorption.equiv.split", "true");
		config.put("absorption.binary", "true");
		config.put("absorption.binary.restricted", "true");
		config.put("absorption.inverse", "true");
		config.put("absorption.role", "false");
		//to be implemented for nominals, currently switched off
		config.put("reasoning.guarding.nominal.merge", "false");
		//for feature guard introduction
		config.put("reasoning.guarding.feature.rule", "true");
		
		//indices
		config.put("queryindex.extension", ".idx");
		config.put("queryindex.sep.name", "$");
		
		//files, paths etc.
		config.put("owl.onto.defaultns", "http://db-tom.cs.uwaterloo.ca/ont");
		config.put("owl.extension", ".owl");
		
		config.put("dir.javaprj", "/Volumes/research/java/AssertionRetrieval");
		config.put("dir.prefix", "/Volumes/research/projects/WebDeployment/system");
		config.put("dir.kb.path", config.get("dir.prefix")+"/kb/");
		config.put("dir.indices.path", config.get("dir.prefix")+"/indices/");
		
	}
	
	public static String getDefaultValue(String key){
		return config.get(key);
	}
}
